Defined total setoid maps.
Defined setoids predicates, setoid subcarriers, and subsetoids.
Merge branch 'dev'