Check if a pattern is quantifier or not by using Pattern#quantifier?
Refactor deconstructor class hierarchy

Rename PatternDeconstructor, PatternHash to
PatternObjectDeconstructor, PatternHashDeconstructor and
make them a subclass of PatternDeconstructor.
Trivial changes
Add comment about class hierarchy
Add failing test case for quantifier