Simplify proof rules.
Simplify proof rules in thesis.
Rework norm functions to increase speed.