Done secs 1 and 2. Trace formulas now.
Done writing embedding on the dual basis.
Rewriting of 4.1 and 4.2, added Eric's inverse embedding technique
Restated InverseEmbed in an even simpler way.

Now uses residue form. Still no elementary proof not involving
transposition techniques, though.
Better understanding of transpose embed. Started isomorphism.
a few extra refs
new version
Merge branch 'dualbasis'

Conflicts:
	embed.tex

Imported vast modifications made to the main exposition.