removed refinement of data types constructors---this is now handled directly in function applications so it is unnecessary; replaced boot with ocaml in the test target