Added framework for contextual constraints and syntactual analysis,
along with basic outline for encoding to object program.