Resolve constants during type checking #219
Description
In #213 we decided to resolve constants already during type-checking as opposed to during compilation. However, we did not implement it as part of that PR. This issue tracks that change.
Context: #213 (comment)