removed requirement that 'eq' only works on atoms
fixed typo
added test for math op argument types