Repo for ADT Synthesis work, to eventually be integrated into github