Fixed returning skolem bug in case

Before

>> :t y -> case y of { E x -> x }
forall (a : *). E -> a

After

>> :t y -> case y of { E x -> x }
returning skolem