Rename let.ss to definition/let.ss