Rename Tree.v to Trees.v