Contract paper
Initial version of contract-lib