add missing inline declarations
add interfaces for special functions and constants
fixes and definitions of interfaces for singleton predicates
interfaces for binary predicates
interface for compare-abs