sample/fib.rbは通るようになった。が、型推論に4分弱かかる…

明後日から高速化だー