added type cast checking between basic types