Added note about "_" and "|" in tala patterns.