Rename basics.v to Basics.v