started on MathDSL
added integer multiplication