Using the Module package
Added tests
Retrieved module operations from ICanBoogie