Added typeInference demo