rdIsCircumsized -> rdWasNotDirectlyTag
MakeTypes: Qualified import of Infer.Internal as Infer
Add GetDef trigger (unused)
MakeTypes.makeTV, RuleUncircumsize, resumption circumsize test no longer fails
monomorphRedex didn't fail because of rigidity, but because tests had redex support (they now don't)