move ops from {core,calculus} to {coreOps, calculusOps}
added CalculusOps.vars_of_{sequent,sequent_schema,...}

to be used soon
well-formedness checks for rule schemas
add Corestar_std.pair_map
freshen free logical variables when applying rule schemas