Rename halfspace.h to HalfSpace.h