Added pairs and lists to AST and inference algorithm, parser still missing