Implemented ExplicitForAll extension

Support for -XExplicitForAll