Remove certifiers for Opaque and Refinement types

This pull request is for code review.

The `syntax-local-certifier` function no longer does anything useful, so removing the extra argument from types should have no effect. Is there an alternative mechanism that should be used in place of certifiers instead of removing this entirely?