Я наверное глупость скажу, но по-моему ребе М. наоборот жалуется на то, что ребе А. не не хватает типов, а наоборот типов слишком много, ему бы как в жабаскрипте пять типов и undefined и то многовато уже будет..