Created four lists to hold explicit and implict entries of type and var.
Started using vector pair instead of unordered map