highlight_xxx: CEs
* h_program-lang/database_code.ml: highlight type uses