Preliminary implementation of match accleration using a search tree over types.  The caching of the type trees should be carefully considered.