remove type parameters from `Natural`
remove unnecessary mutable references
add `Extract` comparator
bump version