Improve core type operator code

- Remove redundant operator emission code
- Specify types explicitly on public methods
- Add missing Bool operators
- Remove constant folding (this should happen in the backend)