SMS: Теорія лісових типів