more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;