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