Make equality of "tight" precedence by default

Start to work through knock-on effects of this.

Remove TABs from src

Will also make selftest to check that they aren't introduced

Move pair, one, sum and option into one combined coretypes directory