Implement TypedSymbol.is_nonnegative

6 jobs for FieldShapeSymbol-FieldStrideSymbol-strictly-positive in 3 minutes and 14 seconds (queued for 2 seconds)