Concrete type inference

Implementation of type inference that gives the real classes (concrete type) based on a given expression.