Major rework

- Make it configurable.
- Add concealing of superscripts.
- Add concealing of !!.
- Add alternative concealing for binds and lift.
- Add italic/bold face concealing of True and False constants.
- And more...