enlarge size of page_type field

• MIGRATION required
• longer names have to be applicable because page_types are more versatile than originally intended