added definitions for a few types not defined elsewhere that sv comp needs
noted that the floating-point function is causing a weird error message from smack, probably because boogie doesn't support floating-point.
clarified the problem with __SMACK_nondet_float()