Enumerate intrinisc types.
BOTH_TYPE is like GG_TYPE.