--> as context for code body

Allow definite values and containers on the right side of -->, in
order to make a way to declaratively distinguish procedural code from
functional without creating more keywords like "proc" or "fun", which
doesn't help distinguish methods.

Also allow warning on loops accidentally treated as functional maps
due to lack of a return spec.