Removed special node for ground
Tweaked LinExp
BackSubstitute is finally not necessary!
Added more robust checking for existing definitions