Abstract TypesBeta.t and remove the duplicated type errors