Operations translation
Fixed bug with int bitwidth
Error message cleanup
General cleanup