fix bugs and preliminary semantics for IFC core

TODO: we need to figure out the klone functions and how they interact
cross calculi

NOTE: I removed conference from documentclass to make it easy to read;
we need to bring this back in final version