 		}
 	}
 
-	public var type: Type {
+	public var type: Term {
 		switch self {
 		case let Named(_, type):
 			return type

//  Copyright (c) 2014 Rob Rix. All rights reserved.

public enum Symbol: Hashable, Printable {
	public init(_ name: String, _ type: Type) {
		self = Named(name, type)
	}

	public init(_ index: Int, _ type: Type) {
		self = Parameter(index, type)
	}


	case Named(String, Type)
	case Parameter(Int, Type)


	public var name: String {

		left.name == right.name
	&&	left.type == right.type
}


// MARK: - Imports

import Manifold
