Fixing the case for simple patterns.
Fixed case for Num.

Still need to fix the binders for the keys to get the correct pattern for it.