semantic: Fill in implementedInterfaces.