Symbolic and high-precision unitary computation.

Use high-precision and symbolic arithmetic routines from SQCT
( https://code.google.com/p/sqct/ ).

Implement high-precision gate library.

Template unitary compiler over field type for output
matrix.

Clean up circuit normalization code and test. Normalized output works
well with tpar.