base/type.oz