adding support of reification of opaque symbols.