Some updates to the FunctionAnalyzer. This one's gonna be a beast. Gotta bring over some stuff previously done in Lisp to do the LambdaList parsing correctly... :(