Use n-ary splits instead of binary splits in theory datatypes.