Title: Extended type checking