The result type of quoted op is fixed to Quoted<Op>.

Enhance the API and implementation to specialize the parameterized type. It may require explicit declaration as in general we cannot reliably use the op-to-be-quoted instance's class, since it may not be public.