Added support for phi nodes in ast, overhauled local resolution in ast.Block, and method ast output is now in SSA form! Phi nodes are still kinda hacky, I didn't implement common typing or anything -- but that'll come soon.