Problems with types added by plugins fixed. Checking for symbols didn't
work, so we now check the central type list to see if the type is
there. The symbols are for convenience only, as they should be.