Added refreshType for in-place reuse. Switched skolem to _Skolem