i like this definition better and it better reflects what the typechecker actually does
i like this definition better and it better reflects what the
typechecker actually does

ceylon/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec