L4 programming language for computational law - encode contracts, regulations, and policies as executable, testable, verifiable programs