Make Skolem constants untyped and never add type axioms during representative checking.