Document new_type_definition's errors better; improve its error-reporting

Closes #128