Type member support, linearization instead of parents and add inherited members for structure

interface/definition

@@ -26,8 +26,8 @@ Definition
 			TypeAlias
 				tpe: Type
 			TypeDeclaration
-				upperBound: Type
 				lowerBound: Type
+				upperBound: Type
 
 Type
 	SimpleType
@@ -48,6 +48,7 @@ Type
 	Structure
 		parents : Type*
 		declarations: Definition*
+		inherited: Definition*
 	Existential
 		baseType : Type
 		clause: TypeParameter*
@@ -74,6 +75,7 @@ Modifiers
 	isSealed: Boolean
 	isImplicit: Boolean
 	isLazy: Boolean
+	isSynthetic: Boolean
 
 ParameterList
 	parameters: MethodParameter*

interface/src/main/java/xsbti/AnalysisCallback.java

@@ -34,6 +34,6 @@ public interface AnalysisCallback
 	public void endSource(File sourcePath);
 	/** Called when a module with a public 'main' method with the right signature is found.*/
 	public void foundApplication(File source, String className);
-
+	/** Called when the public API of a source file is extracted. */
 	public void api(File sourceFile, xsbti.api.Source source);
 }