Completly static Laurent's polynomials

[matovitch]

Hello !

Yesterday, I started a project to implement completly static 
Laurent's polynomials (i.e. polynomials formed by z^n and z^-n 
monomials).
I thought I could represent these polynomials with an immutable 
range of Tuple!(numeric_type, int).

I've tried (and failed) to implement the addition here :

     https://github.com/matovitch/StaticLaurent

Is my goal achivable ? How would you do it ?

ps : I am a *total beginner* waiting for any advice(s).