add test cases for invalid types
implement string type minus validations