try to use dictionaries from the context

For some reason this does not work, see tacticTest1 and iF in Example.idr.