add a function to test for point-at-infinity without pattern matching
add some basic ECC arithmetic tests
fix test
specialize binary vs prime functions for later optimisations