make List-function $length a scalar constant, add tests for it