Adding a case for type instantiation#184

mario-bucev wants to merge 1 commit intoepfl-lara:mainepfl-lara/inox:mainfrom

mario-bucev:more-instantiationmario-bucev/inox:more-instantiationCopy head branch name to clipboard