Parser, AST and Translate of function calls,

Todo: check arg types and return types match.