fix cmd files
generated by reqT -m
fix init main repl
more stuff in metamodel
stubb for test case runner