Instantiation

Created by: SimonGuilloud

Update the substitution&instantiation part of the kernel and allows for simultaneous instantiation of schemas of different kinds, which was not possible until now.