some symbolic lambda function. implemente, but disabled because of missing
type informations (needed for typecheck f: String --> Integer)