add and document mathematical definitions of conj, abs, and abs2

Based on the discussion in #4. @andreasnoackjensen @scidom