Replace Document and MultiDocument classes with CliPS Pattern's Document and Model classes respectively