Updated Syntax: Added arrow for lambda terms.

Old Syntax was \x:(Id A a b) Id A b c
New Syntax is  \x:Id A a b -> Id A b c
Function application binds stronger than colon.
Pi and Lambda have the same priority.