[zaarn]

I would disagree, you need a solid typesystem and then any other typesystem must prove to be a compatible superset.