holes in Term and Env
* instead of Type
add hurkens paradox to tests