Symbolic evaluation for the pure part of Erlang.