bixycmaci lujvo

c1 is a calculus of type/describing c2

See also cmaci, binxo, ra'irsumji and cneparbi