NimManager: make sure compatible type exists before remove

This is just a sanity check, it checks that compatible type
exists in types before remove.