add notion on existential types, update interface
[msc-thesis1617.git] / .gitmodules
1