The code to handle real functions using the PLI 1 interface was missing some functionality. This patch fixes that and fixes a bug in the veriuser.h include file.
ty_typep functions, along with defines related to these functions.