More than anything, Moniel should be able to perform a computation. Without this, it's just a drawing/sketching tool. In other words, without the actual computation it's just pretty...
The notation should be consistent. For example, scopes and user-defined operations are same thing, but different flavor. Unifing them is definitely a priority. Language would become more powerful while simplyfing it. Easing cognitive load is necessary.