First step for instance elaboration (typing of records generated not working)