Resolve step appears complete, resolves in 2 steps (classes->everything else). Reporting reasonable errors. Proto-Pre-Beginnings of type checking.