Added type propagation to atom and the needed errors