Allow sigma terms to be unbracketed in with-patterns
Allow sigma terms to be unbracketed in with-patterns

Ignore-this: 6c35fe102daa0634919afea1982c3fbf

darcs-hash:20091120204402-76e6d-5c201ee5f43349b783bcfd10d477b8a943676e1f.gz

avsm/Idris