transaction.h: added signatures and notations.
transaction.cpp: added signatures and notations. Stil needs psuedo code.