trailing newlines in *.{sml,sig} files from src/ removed Trailing newlines from SML files in src/ were rendered in HTML documentation.
Minor random fiddly changes
Delete trailing whitespace throughout src/
Populating initial pfl library.