Add comment for Error data-type
#16 enable display "Mismatch Type"
#16 enable display "Cannot Type Unify"
#16 rename "Cannot Type Unify"
#16 enable display "Is not Arrow type"