val alias_diff: from:MatitaTypes.status -> MatitaTypes.status ->
DisambiguateTypes.environment
- (* removes the object from DB, Disk, CoercionsDB *)
+ (* removes the object from DB, Disk, CoercionsDB, getter
+ * asserts the uri is resolved to file:// so it is only for
+ * user's objects *)
val remove: UriManager.uri -> unit