fixed interpreter bug. Set up constants - it is only
added test documenting single properites invariant bug and typingproblem for deffered set elemtents