before rewrite2 checkout
changed expr types to parametrized type and typealias
started simpleNUTS