Add support for the `ExplicitForall` language extension