Name	_is_
Definition	(label:val(string)) is (e:expr(T:type)) : expr(T)
Example	"foo1" is foo(1)
Defined in	ctrl.l
Implementation	lard
Infix	_is_ : infix(30,right).
Description	Give a name to a block of code for the benefit of the debugger. If you don't use is your debugging output will have cryptic names.