Refactor lease and embargo specs. Add documentation