moved type guessing onto separate module
fixed bug on binding variable
Closes #1. Added basic higher order functions. Will fix multi bindvar lambdas in later milestone