Remove certifiers for Opaque and Refinement types

Syntax certifiers are now deprecated. This change
should have no effect on the types.