Fixed existentials in tagging; Representable-related code needs better structuring