Fixed deep variant pattern matches. Must normalize aggregates in types

Removed dead dependencies