Remove useless pat and exp elaboration

Since the constructors got a proper environment, patterns and
expressions no longer needed to be elaborated with unique names.