Simplified type inference