Always turn on the tail call optimization
Optimize simple variants, remove the array of globals and change the
untypedtree idents from x to CurrentModule.x