Revert "Introducing AbstractionType"

This reverts commit dc6c97e1f4ca9261b8dcb917b735b41e3acc583e.