Make a bunch of stuff compile properly. Update milestones.md and sl-in-types.md.