add tests for ListADT functions cdar and cddr
Merge branch 'master' of https://github.com/meisl/lambda
add tests for Test::Util itself; Test::Util::is_properLambdaFn now also tests for well-formedness of lambda-term
require proper lamba fns to do role "Callable"; make is_properLambdaFn *one* subtest