Finalize defaulted type parameters

This RFC proposes finalizing the design of defaulted type parameters with two changes:

- Using `_` to explicitly use a default
- Integrating defaults and inference