Types as filters over bit-fields

(click on one of the three areas below)