semantic: Use Declarations for nested things in prep for params.
semantic: Pass the full function stack to nested, not just their names.
semantic: Handle FunctionParams in nested funcs.