Added type class for normalizing subtypes of a given type in an HList to that type.
Added test for Normalizer.
Avoid creating unexpected FilterAux instances.
Changed name of subtype unifier type class.
Merge pull request #24 from travisbrown/master

New subtype unifier type class