tests for number parsing and simplification
recursive equality checks for cons and nil