lang-variants-of-arity implemented. Needs testing. Unfortunately need to still figure out join and meet.
Squashed some bugs, got a simple typecheck to pass.