specialised inner product overrides
optimisations
tidying and optimisations
misc optimisations