Opzet gemaakt. TyEnv, ftv, gen en inst geïmplementeerd.