Header modification, added primary references for TPTM model.
Interfaces: Added Tiles.mli, corrected some typos in DList.mli

Now compliant with ocamldoc syntax, should look nice