No, largely due to types in MaxVerse not being distinguishable from partial identity functions. Making types comparable would requiring deciding the equivalence of e.g. int and a lambda that evaluates int on its argument at runtime, which is in general undecidable.