طراحی رابط‌ها و گسترش ساختارهای جبری