bugfix in type inference
fix some tests and updated .ocamlinit