diff --git a/interface/definition b/interface/definition
deleted file mode 100644
index dadd41adb..000000000
--- a/interface/definition
+++ /dev/null
@@ -1,25 +0,0 @@
-Definition
-	name: String
-	access: Access
-	modifiers: Modifiers
-	annotations: Annotation*
-	FieldLike
-		tpe : Type
-		Val
-		Var
-	ParameterizedDefinition
-		typeParameters: TypeParameter*
-		Def
-			valueParameters: ParameterList*
-			returnType: Type
-		ClassLike
-			definitionType: DefinitionType
-			selfType: ~Type
-			structure: ~Structure
-			savedAnnotations: String*
-		TypeMember
-			TypeAlias
-				tpe: Type
-			TypeDeclaration
-				lowerBound: Type
-				upperBound: Type
diff --git a/interface/other b/interface/other
deleted file mode 100644
index 68e4c3a50..000000000
--- a/interface/other
+++ /dev/null
@@ -1,81 +0,0 @@
-Source
-	compilation: Compilation
-	hash: Byte*
-	api: SourceAPI
-	apiHash: Int
-	_internalOnly_nameHashes: _internalOnly_NameHashes
-	hasMacro: Boolean
-
-_internalOnly_NameHashes
-	regularMembers: _internalOnly_NameHash*
-	implicitMembers: _internalOnly_NameHash*
-
-_internalOnly_NameHash
-	name: String
-	hash: Int
-
-SourceAPI
-	packages : Package*
-	definitions: Definition*
-
-OutputSetting
-	sourceDirectory: String
-	outputDirectory: String
-
-Compilation
-	startTime: Long
-	outputs: OutputSetting*
-
-Package
-	name: String
-
-Access
-	Public
-	Qualified
-		qualifier: Qualifier
-		Protected
-		Private
-
-Qualifier
-	Unqualified
-	ThisQualifier
-	IdQualifier
-		value: String
-
-ParameterList
-	parameters: MethodParameter*
-	isImplicit: Boolean
-MethodParameter
-	name: String
-	tpe: Type
-	hasDefault: Boolean
-	modifier: ParameterModifier
-
-TypeParameter
-	id: String
-	annotations: Annotation*
-	typeParameters : TypeParameter*
-	variance: Variance
-	lowerBound: Type
-	upperBound: Type
-
-Annotation
-	base: Type
-	arguments: AnnotationArgument*
-AnnotationArgument
-	name: String
-	value: String
-
-enum Variance : Contravariant, Covariant, Invariant
-enum ParameterModifier : Repeated, Plain, ByName
-enum DefinitionType : Trait, ClassDef, Module, PackageModule
-
-Path
-	components: PathComponent*
-
-PathComponent
-	Super
-		qualifier: Path
-	This
-	Id
-		id: String
\ No newline at end of file
diff --git a/interface/src/test/scala/xsbti/TestCallback.scala b/interface/src/test/scala/xsbti/TestCallback.scala
deleted file mode 100644
index f0658597b..000000000
--- a/interface/src/test/scala/xsbti/TestCallback.scala
+++ /dev/null
@@ -1,34 +0,0 @@
-package xsbti
-
-import java.io.File
-import scala.collection.mutable.ArrayBuffer
-import xsbti.api.SourceAPI
-import xsbti.DependencyContext._
-
-class TestCallback(override val nameHashing: Boolean = false) extends AnalysisCallback
-{
-	val sourceDependencies = new ArrayBuffer[(File, File, DependencyContext)]
-	val binaryDependencies = new ArrayBuffer[(File, String, File, DependencyContext)]
-	val products = new ArrayBuffer[(File, File, String)]
-	val usedNames = scala.collection.mutable.Map.empty[File, Set[String]].withDefaultValue(Set.empty)
-	val apis: scala.collection.mutable.Map[File, SourceAPI] = scala.collection.mutable.Map.empty
-
-	def sourceDependency(dependsOn: File, source: File, inherited: Boolean): Unit = {
-		val context = if(inherited) DependencyByInheritance else DependencyByMemberRef
-		sourceDependency(dependsOn, source, context)
-	}
-	def sourceDependency(dependsOn: File, source: File, context: DependencyContext): Unit = { sourceDependencies += ((dependsOn, source, context)) }
-	def binaryDependency(binary: File, name: String, source: File, inherited: Boolean): Unit = {
-		val context = if(inherited) DependencyByInheritance else DependencyByMemberRef
-		binaryDependency(binary, name, source, context)
-	}
-	def binaryDependency(binary: File, name: String, source: File, context: DependencyContext): Unit = { binaryDependencies += ((binary, name, source, context)) }
-	def generatedClass(source: File, module: File, name: String): Unit = { products += ((source, module, name)) }
-
-	def usedName(source: File, name: String): Unit = { usedNames(source) += name }
-	def api(source: File, sourceAPI: SourceAPI): Unit = {
-		assert(!apis.contains(source), s"The `api` method should be called once per source file: $source")
-		apis(source) = sourceAPI
-	}
-	def problem(category: String, pos: xsbti.Position, message: String, severity: xsbti.Severity, reported: Boolean): Unit = ()
-}
diff --git a/interface/type b/interface/type
deleted file mode 100644
index dbb393dd6..000000000
--- a/interface/type
+++ /dev/null
@@ -1,30 +0,0 @@
-
-Type
-	SimpleType
-		Projection
-			prefix : SimpleType
-			id: String
-		ParameterRef
-			id: String
-		Singleton
-			path: Path
-		EmptyType
-		Parameterized
-			baseType : SimpleType
-			typeArguments: Type*
-	Constant
-		baseType: Type
-		value: String
-	Annotated
-		baseType : Type
-		annotations : Annotation*
-	Structure
-		parents : ~Type*
-		declared: ~Definition*
-		inherited: ~Definition*
-	Existential
-		baseType : Type
-		clause: TypeParameter*
-	Polymorphic
-		baseType: Type
-		parameters: TypeParameter*