Fix Field_tac to get fast reification again, with the fix on template universe polymorphic constructors.