Move internal definitions.
Use 'Bound' type symbol.
Update haddock.
Move back bounds definitions and export again.
Update haddock.