Added preliminary methods for computing bindings, declarations, and prologue.