Added type propagation to arom and the needed errors