Typecheck imports statically, plus bugfixes
fixed inference system to explore for loops
progress towards coverage