Make datatype contexts an extension (on by default) (DatatypeContexts)