Trying to rewrite unrolling
Start making use of MetaExpr
Unroll still buggy