context operations (closes #64)
fix - filtering global names when exporting to agda