We first convert the program into an intermediate tree form (IForm),
which is in principle similar to A-normal form, but has more
convenience node types specific to our VM. IForm is represented
by a nested vectors, whose first element shows the type of the node.
A-normal form をそもそも知らないので調べよう。