Initial import of A1 for IntroToPL