fixed a bug in findByid

findByid wasn't recursively searching child nodes for Succ, Pred, IsZero
rename findByid to findById
delete function findById

actually, turns out no one is using this function :/
added new syntax and type for polymorphic Lists, added necessary constraints
added occurs check