Added free module morphism arithmetics + coercion