Propagate meaningful locations

[Niols]

At the very least, we should propagate the whole location of the type. We can potentially do better, though, by propagating the right locations for the right components of the type (eg. the type name, its variables, its constructors, etc.)