added comments for tupletype.sml