Make nets module compilable

Changes:
1. F_F => .>>.
2. Invalid_argument =>Failure
3. let ... and ... => let ... in let ...
Convert nets module to light syntax using Fantomas
The printer module now compiles

Need to adjust indentation at a few places
Convert printer module to light syntax