add compatible-to-all type to call expressions on type error