WIP on metacompiler
Factorial example works