CSE 5479 Semester Project Submission

Submitted for the Semester Research Project in CSE 5479.

Added a small Python frontend which supports integer and boolean data types, most binary operations, control flow, and SMT integration.