Handling expectation of unusual core syntax (closes #69).
In particular: `Cons (List ?) …`, `Nil (List ?)`, `Pair (Product ? ?) …`, `InL (Sum ? ?)`, `InR (Sum ? ?)`