Update to fix substitution issue

Replace all instances of (∀) with (Bind Forall), since the definition in Substitution.hs is overruled by the default (forall) value.