Error messages for !(expected type is actual type)

- Pertains to #65