それにメソッドを規定するためにはメソッド宣言が決まって無いと…
まだ戻り値が複数かどうか、ref、outパラメータを認めるかどうかに決着がついてなかったような。
構文も戻り値のところが曖昧なまま…

　NAME: (ARG: TYPE) -> RTYPE; //"Result"は暗黙の変数
　NAME: (ARG: TYPE) -> RESULT: RTYPE; //戻り値を返すための変数に名前を付けられる
　NAME: (ARG: TYPE) -> (RESULT1: RTYPE2, RESULT2: RESULTTYPE2); //複数の戻り値を認める場合