Changed the class definition to include mixin for variables and types.
Added method for computing the bindings.
Added method for computing the declarations.
Added method for computing the termination test.
Added method for computing the step forms.