Add test for abstract type support

generator/tests/abstractdependency.ml

+open Abstracttype
+
+let test = create_container 10
+
+let f = get_value test
\ No newline at end of file

generator/tests/abstracttype.ml

+type container =
+  | Alpha [@f value] of int
+  | Beta [@f]
+
+let empty = Beta
+
+let create_container value = Alpha value
+let get_value cont = match cont with
+	| Alpha x -> x
+	| _ -> 0
\ No newline at end of file

generator/tests/abstracttype.mli

+type container
+val empty : container
+val create_container : int -> container
+val get_value : container -> int
\ No newline at end of file