Fix PolyDots case in abstract-many + tests
Better NYI errors
Add shorthand for (FS top top)
Fix HVec dotted type syntax (pretype & bound were swapped)
Print dotted bounds properly, and handle printing DeBruijn indices
Better nyi errors
Fix promote/demote cases for HVec
Add promote/demote cases for HSequential
Fix substitute case for HVec
Better nyi error
Add substitute-dots case for HSequential
Add substitute-dotted case for HSequential
Missing else branch. Protected by a postcondition already.
t.a.j has file name in (:file env)
Add abstract-many case for HVec
Add abstract-many case for HSequential
Add instantiate-many case for HVec/HSequential
trans-dots uses fold. Add HVec case. HSequential throws NYI.
This is unchecked atm, but an incorrect local instantiation.
fully-resolve-type is more comprehensive here