Add comments & notes explaining the typing of pattern synonym definitions