add missing welltyped check to REFL stateless rule

there may be more missing conditions, since this was copied from the
stateful one which had a welltyped_in context predicate that I mostly
tried to remove...