jump type (without ability to add new types)