Refactor parsing of Pi/Dependent Type Signature expressions to improve
error reporting and reduce lookahead.
Restored "__pi_arg" to use UN instead of MN again (due to a test
failure).
Removed commented out code.
Merge pull request #1105 from ahmadsalim/improvement/refactorpis

Improvement/refactorpis