Fixes some type semantics garbage