types+grammar: ch4, adding some info in 'crazy edge cases' section, closes #104