eqv function
Equal with heterogenious types
Fix some syntax errors
Remove excess continue
Some checks for new primitives. Also added missed eval patterns