Create one Type object for each type usage

[oxisto]

Currently, we do a major workaround to get sort of unique types per scope and this is really hacky and does not work well with parallel parsing / passes. Instead, we just have one Type object per usage, this should be faster in the front-end but might incur a small performance penalty when resolving them.