Upgrade diff to allow relaxing for all types, and add to Python API

Node diff lets you relax comparisons on int types, and compares them by value. We should be able to relax all types, not just ints, and add this functionality to the Python API as well, which currently cannot relax int types using diff.