Type-Safe, Lazily Evaluated, Plugins for Extensible Types