Map level of education to more descriptive constants

Note that this also groups the various codes for doctorate degrees together.

@brianhw @rocha 
Clarified in person:  add flatten around the requires() call made here.