len.ml Finis

Simple enough. Implemented with tail recursion, I believe.