Redoing transitive prototype-refinement loaders (fixes #16)