redefine some types