SML: Proper file structure