This is Francisco Garau's TypeInferencer, as a SAR package. This does not contain the Morphic-Wrapper dependendparts. For more information, see http://typeinference.swiki.net/1