new isInstanceOperation on KirraHelper; publishing MD site