Test short-circuit evaluation in $and? and $or?.
Test tail recursion.
Improve compatibility layer.
Test environment concepts.