Simplify type annotations. Generate plans.