progress: finally starting to instantiate things!
still a ton of things missing, we must compute the name of the
specialized entity (and we need to pass the name recursively in
instantiate), and of course we need to specialize generic types with the
values given in properties.