Fixed SemanticConverter, removed selftest
Added PairExpr