Remove typex from stdlib