move things into the theory/ subdir