Num instance, some more constructors
Some more clauses