A linting tool for Standard ML