Deleted unneeded grammar rules

	modified:   ocaml/parser.mly
Typing of dotted expressions implemented

E.g.  t.f(a,b,c)

	modified:   ocaml/typer.ml