3d7fdb509a
Since obj constructors and types have different def_ids now, their def can simply be a def_fn and a def_ty.