Misc changes
Added imports
TypeRequirementTable, more work on kind resolving, maintenance on tt2md
Wired line numbers into module