Fix bug from early ported ocaml code regarding zeroes and program representation. Add a cl23.1 sigil that enables this and add many tests.

Fix bug from early ported ocaml code regarding zeroes and program representation. Add a cl23.1 sigil that enables this and add many tests. #444