Extended interpreter
Some relation fixes and extended interpreter