Move Var creation stuff into HERMIT.Name
Remove Criterion dependencies in new examples.