Option.lift, Math.abs and add MathSuite