Update filenames to .purs, update build