• Skipping conversion of parameters of constructors and of the domain of lambdas (failed)
• Delay Universe Substitution in CClosure
• Converting in the right order in the kernel