Refactor: introduce constants in the frontend in a single place #184
Description
The frontend currently introduces implicit constants through ValueOf statements at two different places: #145 (comment) but ideally it should all happen in the same place. Here's a possible solution #145 (comment) although we should consider the outcome of this discussion #169