Added early definitions to new expression type inference (compound type should contain vals from early definitions)