Additional test cases for SAM type conversion and type checking