Reassign-with-contract operator

[TobiaszCudnik]

Self assign operator would be very handy when applying custom contracts from external files.

# Current
foo :: Type
foo = foo

# One line possibility
foo := Type

[disnet]

Nice! I like this idea too. Actually we should just be able to do:

foo :: Type

No need to add new syntax, context should be enough.