Made Label,Var,N4 newtypes, started Arbitrarys
Arbitrary primitives!