Modified pos.t
Modified Makefile
Added debug info to the type inference
Enabled to parse min-rt.ml
Fixed type.ml
Enabled to emit min-rt.ml