We would like to announce the availability of a web-based interface to software for experimenting with automated type inference for System I, a type system for the pure lambda calculus with intersection types and the new technology of _expansion_variables_. System I is the starting point for our current and future research on compositional program analysis. We believe it is a good approach to compositional analysis because it has the _principal_typings_ property (which is much stronger than and not to be confused with the property of ML-like languages often referred to by the name of "principal types"). The web interface can be found at: http://types.bu.edu/modular/compositional/experimentation-tool/ More information on our related research agenda and software for download are available at: http://types.bu.edu/modular/compositional/ Geoff Washburn, Assaf Kfoury, Joe Wells (just a few of the members of the Church Project)