[Parametric] Type checking function instantiation
[Authors] update Bobot's informations
[Parametric] add parametric lemmas with simple instantiation strategie
[Parametric] Deals with parametric constant

             By transforming them into funciton with one (always the
             same) argument. Otherwise the preprocessor could
             substitute them.
[Parametric] better check of missing as (escaping schema variable)