Added crl_core_symbol and moved its type