lib: intro the a_star module (even though it is not yet A*)