enforce symbolic values usage for type