pub type PropertiesPattern = MapPattern;