Adjust type inference rules for case-patterns

Namely, for identifiers(underscore case and simple identifier case)