Add more types to eqv. Add type testing for symbol.
Add more type testing functions.