rename isHygienic
support generic renaming
add lambda calculus as language
more tests