@dragos Agreed. It was originally a top-level class, which then got moved but I didn't think of renaming. ```Region``` in other areas of Eclipse tends to mean an area of text, which would make it slightly confusing here. I would be more of a fan of ```Type``` or ```ContextType``` if that's too general. What do you think?

+1 on Scaladoc too, will add that in.