Exploiting prolific types for memory management and optimizations