removed forall. worked on details and added a function to list all implemented traits