recursively enumerable expression