remove debug msg
finished type normalization rules for ADT