Updated section 5.1 of the LRM with a description about how to put assumptions on the type parameter of a polymorphic function