Add Synopsis, category, and upper bounds.