Fix handling of applicative paths in equality checking for type constructors.
Merge pull request #26 from LeoTestard/modular-implicits

Fix handling of applicative paths in equality checking for type constructors.