Add module re-exportations to reduce the number of import the user has to do.
Add SPECIALIZE pragma for the collision solver and some uses of the GJK algoritm.