Progress on formatting generic type constraints. Will continue on covariance, contravariance and attributes.