Add doc about GiNaC and expressions