Updated parsing to not require default case. Updated tag typechecking to
handle comprises (in progress). Type-checking for not having a type that
is in comprises-of is working.