[#97] add Label type that includes `KnownSymbol` constraint
Description
Adds a custom Label
type that includes the KnownSymbol
constraint and removes it from every place possible.
Note: given that Label
was used and passed between most packages it has been put in a new Util.Label
module.
Related issue(s)
Resolves #97 (closed)
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests (see short guidelines)
-
If I added new functionality, I added tests covering it. -
If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.