Revert "Added X::TypeCheck::Argument and means for the Optimizer to throw typed exceptions."

This reverts commit b9c3b7ac7069890c36c49755b98816adbedad754.
Accidentally didn't branch.