declare mapping types for existence tests