Added the Transact module for refactoring between MVars and TMVars.

Still misses the functions to update referencing functions;
Also, for now it assumes that only default concurrency functions will be calling MVars.
	   - Should have to use typecheck information on used functions.
Adding sample files for testing Transact.