Compilation and stepping metafunctions written.