Fix parse error (typo)
Add symbolic evaluation for erlang:'+'/2