Contract library for javascript based on category theory.