An alternative implementation for core.typed that solves many of its inference limitations.