ast.py: less confusing error reportingh
dead.py: added cmd key to control type checking
interpreter.py: implemented basic type inference