Remove support for n-ary unlabeled products and unions

[joshsh]

As discussed in #200 and elsewhere. Support will only be removed once we have Either and Pair constructors in Hydra Core, with corresponding support throughout the kernel. See #210 and #211.