Rename a2.hs to hapriori.hs