In -and move the NotTypeFilters to the begining as well.
Change type<? to rep<?.

Also moves type-equal and rep<? to rep-utils.
Simplify and document compact.