Now we have dictionaries for constants and variables in patterns.