implemented arith type attribute

...however eresi doesnt seem to mark this correctly yet :\