rename Demo.hs -> Parse.hs; create named type Env for typeenv + return type