factored untyped lambda tests out into separate module
WIP: quickcheck