add CountBinders.hs to count the number of recursive binders / functions
in a module
use varType instead of matching on Expr
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell