Change syntax of implicit parameters and arguments

[fmease]

For reference, implicits today look like:

identity (,A: Type) (a: A): A = a
identity2: (,A: Type) -> A -> A = identity
identity3: (,A: Type) -> A -> A = \(,A) a => a
x: Nat = identity (,Nat) 0
y: List Int = identity (,List Int) [-1 0 1]
identity4 (,let A: Type) (a: A): A = a
z: Nat = identity (,A = Nat) 1

That does not look immensely aesthetically pleasing to my eyes. Change it to:

identity '(A: Type) (a: A): A = a
identity2: '(A: Type) -> A -> A = identity
identity3: '(A: Type) -> A -> A = \'A a => a
x: Nat = identity 'Nat 0
y: List Int = identity '(List Int) [-1 0 1]
identity4 '(let A: Type) (a: A): A = a
z: Nat = identity '(A = Nat) 1

[fmease]

Fixed in 6ca9cf1.