Report: Wrote stuff about semantics and stacks and callings, will update tests in a moment