Upgrade to the latest core.typed
Remove nonfunctional test cases
Major refactor for type-safety

Rework a good hunk of the pipelined simulator to pass the typechecker
Rework bits of isa to pass the typechecker