message: Make simplify_ty function private
diff: @@ -178,7 +178,7 @@ pub fn ty_of<N: Name>(
  // Kinding
  -pub fn simplify_ty<N: Name>(ctx: &Context<N>, ty: &binary::RcType<N>) -> binary::RcType<N> {
  +fn simplify_ty<N: Name>(ctx: &Context<N>, ty: &binary::RcType<N>) -> binary::RcType<N> {
  use structural::ast::binary::Type;
  fn compute_ty<N: Name>(ctx: &Context<N>, ty: &binary::RcType<N>) -> Option<binary::RcType<N>> {
  