Function normal 

pub fn normal<I>(
    operand: &ExpressionType<I>,
    relation: Option<&SpatialSupport<I>>,
) -> Result<ExpressionType<I>, TypeViolation<I>>
where
    I: Clone + Eq,

Type an outward-normal contraction.