Adds proper call-expr open.
Cleanup and formatting.
Abstract stack code.
Supports function calls.
Supports functions with multiple call arguments.