Rip infers all types, but sometimes it helps to clearly describe what is
expected. For this Rip allows specifying the types of some or all parameters for
some or all overloads (type restrictions in Rip's parlance). In the absence of a
type restriction, Rip allows any type and