Dandandan/TypeConstrainedProgramSearch

Type Constrained Program Search: Superoptimization using types and pruning