Fix bug in arithmetic operators
Fix bugs in builtin_head()