Add length-prac procedure in length.scm

This procedure is a practical question in 6.5.
Fixed a complicated expression in length.scm