Started typing rules for ADTs