Devlog ⚡ Type resolution redesign, with language changes to taste

[dimdin]

Type resolution redesign, with language changes to taste
Author: Matthew Lugg