notation and data type fixes
operations update
isotopia update