translate basic types