Fixing #44.

Fixes typos mentioned in #44 and one more:

__5.1.3.1 p2__
"If the required type will always results in a substitution failure"
s/results/result/g