Translating BoxedDefinition(s)

Boxed definitions are just a special case of Methods and as such one can refer to the section called Translating MethodDefinition(s) for the details.