v. 0.8, optimise super calls, new generic NFE-style super calls, if needed