Design and implementation of context calculus in the gipsy