Generalizing types in analytical signed distance functions. Adding a fast unit test for Sussman redistancing.