Add call frame; update reduction

Use call frame for call events
Again check structural contracts wrt arrows
Consolidated expression and list contexts