Tighten type constraints.