A simplified technique for H-Y typing