types+grammar: adding 'errors' section, closes #109, closes #141