Added a simple form of type inference to cyth.