Added transaction manager module as well as modified proposal and main