Renamed some type inference classes and moved them to the new
'types' package.
Fixed .classpath