Core: refactor `convert`
Core: add the `common` utility
Refactor and improve IntegralConstant

- Add mandatory lossless conversions between instances
- implement `common` properly
Use `common` to provide inter data type instances.