fn comparison_scalar(
term: &Term,
bound: Option<&DiagnosticScalar>,
peer_type: Option<ScalarType>,
) -> Result<DiagnosticScalar>fn comparison_scalar(
term: &Term,
bound: Option<&DiagnosticScalar>,
peer_type: Option<ScalarType>,
) -> Result<DiagnosticScalar>