Refactored Program.Method.Name to Method.Head.Name.
Refactored Program.Method.Type to Method.Head.Type.
Reimplemented Program.Write to Method.Write.
Reimplemented Method.Head.NewOprand. Removed Program.Bool and Program.NewOprand.