Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection