added Lexifi contracts (incomplete)

This commit adds the contracts used by the Generic Pricing engine
from Lexifi to the code (together with a description).
Two of the three contracts have been implemented so far, and one
of them requires division on the RealE type (not implemented yet).