Make type arguments in (=) declaration implicit (for docs)
Parenthasize infix names in REPL output
Merge pull request #1322 from bmsherman/equalDecl

Make type arguments in (=) declaration implicit (for docs)
Proper and complete parenthasization of infix operator names.
Merge branch 'master' into parenthasizeInfix

Conflicts:
	src/Idris/REPL.hs
Merge pull request #1323 from bmsherman/parenthasizeInfix

Parenthasize infix names in REPL output