The core idea is clever! I think the levels definitely taught the players mechanics well though like others have said the actual block pushing implementation is a bit frustrating. Overall the level designs were good though and made use of all the blocks and statements on screen.
Combination keys is a great additional mechanic and I think instead of the wrap around mechanic this could have even more Baba is You style craziness where actions generate key inputs. For example, you might have a level where you "Left is A" and then if you have additional rules "S is left" and "A is down" then your player can only move diagonally down-left or just straight down. The ctrl block would then be straight left and the player would need to somehow first disable the "Left is A" rule.