Started to implement typing rules for constructors of ADT
More typing rules
All rules verified so far. Not clear if they are appropriate.
All rules verified but type checking not working as expected.