Fixed printing of TupleType and added the "object" keyword to the Scanner.ll file.
Added grammar rules for constant array, set and map literals.
Added algorithm::type::simplify() for UnionType nodes, as well as algorithm::type::equal() for both TypeSet and UnionType nodes.
Added support for simple specialized types and corresponding grammar rules for specialized type expressions. They allow a very basic form of templating.