initial commit of some pdf documentation from mlton