deier for ehird's language

X refers to any string of commands with balanced brackets.

[X wrap] => [X] [wrap] compose
[X drop] => [X] [drop] compose
[X dup] => [X] [dup] compose
[X swap] => [X] [swap] compose
[X i] => [X] [i] compose
[X compose] => [X] [compose] compose
[[X]] => [X] wrap
[wrap] => dup wrap dei swap drop
[drop] => dup drop dei
[dup] => dup dei swap drop
[swap] => dup swap dei swap drop
[i] => dup swap dei i dei swap drop
[compose] => dup dup compose dei swap drop