cleaned up handler's stack tracing
re-added wrongly removed exception variable
using handler.stack to limit scope to own module
added Parameter to handler show config
Checker showed that there was an import missing
implemented correct method to allow "in" checking
typo
added special case to look for FunctionExp impl.
added checking and inferring to api and foo cli
added some structure for Checker/Typer combo