Arís 2.1: Adapting Arís For Object Oriented Language