fixed #208 by using the static type of the visited subject to type the
result of the visit. and we added an extra sanity check for the run-time
type being a sub-type of this static type.
Merge branch 'master' of github.com:cwi-swat/rascal