Type checking of functions against user library (through Java reflection).