Add support for semantic action for language parser

[stevefan1999-personal]

I was trying to do inline type inference rather than to generate a parse tree then traverse it after PEG passes, this way we could avoid some potential backtracking issue by stopping ahead and hence sped up (or terminate) the parsing process.

I know Clang does parse tree scan too but they clearly had more information than what mpc currently have to deduce a sound combinations.