todo
separating types and lambdas
bugfixing bugmaking
fix double declaration error by only get_type'ing once
locations for undeclared variables
fix fibonacci test
check types inside functions again