making function & invocation accept 0 arguments AT LAST
execution on vaild code provided only
functions typecheck order & shit
cleanup
fix of fix
example
fixes after review - covering provided example
invocation fixes
invocation fixes