Const opaques

[compiler-errors]

Extend the const_conditions and implied_const_bounds query to also consider RPITs from const functions. We need to also register the const conditions wherever we define that RPIT, and also in that check_opaque_well_formed query.