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