parameterize typesmart term factory over error logger provided by spoofax runtime