Mortimer/type inference

Type Inference Implementation