Rename closure to closure.v