implementing enhancement #42. "=>" is no more in the syntax of F*; use "->" everywhere instead