improved map lookup; fixed syntactic conventions for --prove rules