[core.interfaces] performance tweak
[core.interfaces] performance tweak

According to %timeit, key.startswith('_') is about three times
slower than key[0] == '_'.

michaellaier/pymor,michaellaier/pymor,michaellaier/pymor,michaellaier/pymor