Actually import KIT.MATH symbols