Improved impose error reporting. Tested Multiply imposing; discovered
and fixed bugs such that all Multiply tests pass.