Renamed formal programs to formal intermediate language programs; layouting and font updates