Function normal 

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

Type a normal contraction: parent-outward on a boundary, or along the declared common normal on a physical interface.