var syntax

[fiveseven-lambda]

変数の宣言を var syntax と type ascription に分ける． x: T は，right expr なら T，left expr なら ref[T] とする．