add eval-type in typing rules where needed
remove typed val decls