Implement sieve_lt, sieve_geq and sieve_segment, as well as their supporting types

Implement sieve_lt, sieve_geq and sieve_segment, as well as their supporting types #113