Added 'implicit bind' syntax

Intuitively, !f x y, means that 'f x y' should be bound before the call
(using >>=). Implicit binds can be nested.
Change implicit bind notation to a postfix !
Merge branch 'master' of github.com:edwinb/Idris-dev into implicit-bind