diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
index 087fd6c..75850b9 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
@@ -34,6 +34,8 @@
 	public static final Symbol div = new Symbol(Parser.DIV, 2, Symbol.Type.INFIX);
 	public static final Symbol minus = new Symbol(Parser.MINUS, 1);
 	public static final Symbol cons = new Symbol("cons", 2, Symbol.Type.PREFIX, "($x,$y)->$x.add(0, $y)", Symbol.Type.LAMBDA_WITH_SIDE_EFFECT, new int[] {1, 0});
+	public static final Symbol append = new Symbol("append", 2, Symbol.Type.PREFIX, "add", Symbol.Type.METHOD_WITH_SIDE_EFFECT);
+	public static final Symbol remove = new Symbol("remove", 2, Symbol.Type.PREFIX, "remove", Symbol.Type.METHOD_WITH_SIDE_EFFECT);
 	public static final Symbol head = new Symbol("head", 1, Symbol.Type.PREFIX, "($x)->$x.get(0)", Symbol.Type.LAMBDA);
 	public static final Symbol tail = new Symbol("tail", 1, Symbol.Type.PREFIX, "($x)->$x.subList(1, $x.size())", Symbol.Type.LAMBDA);
 	public static final Symbol length = new Symbol("length", 1, Symbol.Type.PREFIX, "($x)->$x.size()", Symbol.Type.LAMBDA);
@@ -127,6 +129,7 @@
 	public static final Symbol left = new Symbol("left", 1, Symbol.Type.PREFIX, "getLeft", Symbol.Type.METHOD);
 	public static final Symbol right = new Symbol("right", 1, Symbol.Type.PREFIX, "getRight", Symbol.Type.METHOD);
 	public static final Symbol insert = new Symbol("insert", 3, Symbol.Type.PREFIX, "put", Symbol.Type.METHOD_WITH_SIDE_EFFECT);
+	public static final Symbol delete = new Symbol("delete", 2, Symbol.Type.PREFIX, "remove", Symbol.Type.METHOD_WITH_SIDE_EFFECT);
 	public static final Symbol lookup = new Symbol("lookup", 2, Symbol.Type.PREFIX, new Symbol.IImplGenerator() {
 		final int count[] = {0};
 		@Override
@@ -144,6 +147,19 @@
 			return temp;
 		}
 	});
+	public static final Symbol pi = new Symbol("PI", 0, Symbol.Type.PREFIX, "Math.PI", Symbol.Type.PREFIX);
+	public static final Symbol E = new Symbol("E", 0, Symbol.Type.PREFIX, "Math.E", Symbol.Type.PREFIX);
+	public static final Symbol sqrt = new Symbol("sqrt", 1, Symbol.Type.PREFIX, "Math.sqrt", Symbol.Type.PREFIX);
+	public static final Symbol sin = new Symbol("sin", 1, Symbol.Type.PREFIX, "Math.sin", Symbol.Type.PREFIX);
+	public static final Symbol cos = new Symbol("cos", 1, Symbol.Type.PREFIX, "Math.cos", Symbol.Type.PREFIX);
+	public static final Symbol tan = new Symbol("tan", 1, Symbol.Type.PREFIX, "Math.tan", Symbol.Type.PREFIX);
+	public static final Symbol asin = new Symbol("asin", 1, Symbol.Type.PREFIX, "Math.asin", Symbol.Type.PREFIX);
+	public static final Symbol acos = new Symbol("acos", 1, Symbol.Type.PREFIX, "Math.acos", Symbol.Type.PREFIX);
+	public static final Symbol atan = new Symbol("atan", 1, Symbol.Type.PREFIX, "Math.atan", Symbol.Type.PREFIX);
+	public static final Symbol pow = new Symbol("pow", 2, Symbol.Type.PREFIX, "Math.pow", Symbol.Type.PREFIX);
+	public static final Symbol exp = new Symbol("exp", 1, Symbol.Type.PREFIX, "Math.exp", Symbol.Type.PREFIX);
+	public static final Symbol log = new Symbol("log", 1, Symbol.Type.PREFIX, "Math.log", Symbol.Type.PREFIX);
+	public static final Symbol abs = new Symbol("abs", 1, Symbol.Type.PREFIX, "Math.abs", Symbol.Type.PREFIX);
 		
 	static {
 		add.setInverses(new Symbol[] {sub, sub});
@@ -154,6 +170,10 @@
 		mod.setSignature(new Type[] {typeInt, null, null});
 		cons.setInverses(new Symbol[] {head, tail});
 		cons.setSignature(new Type[] {typeList, null, typeList});
+		append.setSignature(new Type[] {typeList, typeList, null});
+		remove.setSignature(new Type[] {typeList, typeList, typeInt});
+		head.setSignature(new Type[] {null, typeList});
+		tail.setSignature(new Type[] {typeList, typeList});
 		contains.setSignature(new Type[] {typeBoolean, typeList, null});
 		length.setSignature(new Type[] {typeInt, null});
 		get.setSignature(new Type[] {null, typeList, typeInt});
@@ -179,7 +199,26 @@
 		fst.setSignature(new Type[] {null, typeTuple});
 		snd.setSignature(new Type[] {null, typeTuple});
 		insert.setSignature(new Type[] {typeMap, typeMap, null, null});
+		delete.setSignature(new Type[] {typeMap, typeMap, null});
 		lookup.setSignature(new Type[] {null, typeMap, null});
+		pi.setSignature(new Type[] {typeDouble});
+		E.setSignature(new Type[] {typeDouble});
+		sqrt.setSignature(new Type[] {typeDouble, typeDouble});
+		sin.setSignature(new Type[] {typeDouble, typeDouble});
+		cos.setSignature(new Type[] {typeDouble, typeDouble});
+		tan.setSignature(new Type[] {typeDouble, typeDouble});
+		asin.setSignature(new Type[] {typeDouble, typeDouble});
+		asin.setInverses(new Symbol[] {sin});
+		acos.setSignature(new Type[] {typeDouble, typeDouble});
+		acos.setInverses(new Symbol[] {cos});
+		atan.setSignature(new Type[] {typeDouble, typeDouble});
+		atan.setInverses(new Symbol[] {tan});
+		pow.setSignature(new Type[] {typeDouble, typeDouble, typeDouble});
+		exp.setSignature(new Type[] {typeDouble, typeDouble});
+		exp.setInverses(new Symbol[] {log});
+		log.setSignature(new Type[] {typeDouble, typeDouble});
+		log.setInverses(new Symbol[] {exp});
+		abs.setSignature(new Type[] {typeDouble, typeDouble});
 	}
 	
 	public DataConstraintModel() {
@@ -205,6 +244,8 @@
 		addSymbol(minus);
 		addSymbol(mod);
 		addSymbol(cons);
+		addSymbol(append);
+		addSymbol(remove);
 		addSymbol(head);
 		addSymbol(tail);
 		addSymbol(length);
@@ -232,7 +273,21 @@
 		addSymbol(fst);
 		addSymbol(snd);
 		addSymbol(insert);
+		addSymbol(delete);
 		addSymbol(lookup);
+		addSymbol(pi);
+		addSymbol(E);
+		addSymbol(sqrt);
+		addSymbol(sin);
+		addSymbol(cos);
+		addSymbol(tan);
+		addSymbol(asin);
+		addSymbol(acos);
+		addSymbol(atan);
+		addSymbol(pow);
+		addSymbol(exp);
+		addSymbol(log);
+		addSymbol(abs);
 	}
 	
 	public Collection<ResourcePath> getResourcePaths() {