Move typechecking of case-expressions to separate function
Add initial goofy (and it's not the reference to language name)
typechecking for pairs

Pairs can only be value-patterns for now