refine: Adjuntion.v and Make
delete: ssr/ (because I use SSReflect normally)