Function halfspace_body_r3 

pub fn halfspace_body_r3(
    normal: Vec3,
    offset: f32,
) -> Option<BodyDef<EuclideanR3>>

normal points to the side the world is on; the plane is dot(p, normal) = offset.