[Agda] type annotation in-place

[Sergei Meshveliani]

Is it possible to allow in Language the syntax like 

  foo123foo = foo' : Foo

(instead of
  foo123foo : Foo
  foo123foo = foo' 
)
?

And one also could think of expressions like

  foo = foo' (f x : T) y  : Foo

This will make programs a bit more readable.

Regards,

------
Sergei