annotations

Workflow for adding type annotations to Plain packages. Use this when adding or improving type coverage.