DefDotExpression first tests; double colon references in README.md