Added various primitives for checking types.
Added missing argument to the adt type constructor.
Added support for descendant matching (partially working).
Merge branch 'master' of https://github.com/cwi-swat/rascal.git

Conflicts:
	src/org/rascalmpl/library/lang/rascal/grammar/definition/Symbols.rsc