Progress int the conditional mesh

Now Constant generation exists, lots of TODOs.