No more polymorphic programs. Use more granular owned/static representation, which is easier to hide and manage.