Order-enriched sketches for typed lambda calculi.