Added Coercion, monadic minus operator and basis for new datatypes