id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
34	Check inferred type against signatures.	benl		"
As we add sig types to the graph, we'll get a type error if part of it can't be unified with the inferred type. However, we don't currently check that the inferred types effect, closure and constraints is <: the signature. Want sigs to be instantiatable from the inferred type.

Also want to have partial sigs. Maybe we need a different syntax compared with :: sigs. eg:

{{{
fun <: a -(!Console)> b 
}}}"	enhancement	new	blocker	0.1.4	Source Type Inferencer