faster symbols from TyCons