Move the eq type outside of Stdlib
Show Pervasives in Stdlib using None