WIP Call
More WIP
Implement Call in Computation.v
Incorperate calling context into ADT