[ocaml] produce error when prefix of reference is not a component
[test] rename runCsf.sh -> run-csf.sh; add typing test files; add good-test-files.txt
[ocaml] update typing inference rules for prototypes
[ocaml] add comments to sftype.ml