Added (almost) all of the correct splitting rules for the full calculus.