Improve dynamic typecheck fail messages

[vaivaswatha]

The interpreter classifies dynamic type check fails into four categories evalTCResult in EvalUtil.ml. Do something similar in the runtime library, rather than the current "dynamic typecheck failed" general message.

This will require carrying over a failure message / code, ideally done though std::expected, but that isn't officially there in C++ yet, so maybe an unofficial one ?