Renamed formal programs to formal intermediate language programs;
layouting and font updates; subcomponent substitution
Began specification of port binding semantics
Finalized the semantics of instantaneous port calls; semantics of delayed bindings still unclear
Strange merge