immutableなlet変数を実装。
純粋な関数を定義できるようになった。
トレイトに必要な処理を途中まで実装。