Curry typeclass functions. Add tlc.and and tlc.or