added a time stamp to the batch verification program 'continuous'
o renamed the variables in the lambda patterns
o added an axiom to function theory grounding the domain in the partial
function's representation
o added a representation for sets