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