IDL example theory (to be used with --use-theory=idl).