Finished Lambda Implementation #125
HLINT
Merge branch 'intertarget-code'
fixed some hlint warnings
test case for typecheck lambda enabled