Minor fix to the type checker: propagation of error messages in case of
failure types computed for patterns in 'visit' cases.

Fixes #334.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git