Polyhedral compilation

Something about the symbolic representation of loops. Could be useful for Aesara.