Add Type (placeholder-ish)

With equals() documentation as discussed in #23.

(I’ll build the rest of the Type type hierarchy bottom-up, but I need the
Type type first.)
Add TypeArguments alias
Add TypeNameWithArguments
Work around ceylon/ceylon-compiler#1665