verifier now visits and verifys AST before codegen

function parameters are now treated as identifiers