Started to add documentation comments for MireDot.