Added support for opaque types, i.e., types that are fully defined in the foreign side, but not in prolog