- Added type pattern matching (Type+)