use S.Infinity and reorder imports
restore nargs test and remove inline comment
internal imports of Naturals0 (not working)