Støtte for IsAbstract i typesystemet