Implement hacky subtract algorithm, still a few bugs with faces randomly disappearing when they shouldn't. Really need to factor out binary divider representation and convert to something sane enough to remove restriction that solids needs to enclose origin.