Fixed bug with ':' and ':=' tokens; fixed test spec.