>・変数に型はない
>・文字列扱い/数値扱いどちらで評価されるかは、格納値に依存する
同意。
でもその為にパタンマッチングが存在する。
いちいちそうしなければならないのか、という気持ちもわかるけど
言語の仕様で対応されていないならMに限らず多かれ少なかれ
他の言語でも知恵使ってプログラムで対応してるでしょ？