Fixed assignment type checking, added test.mod