refactor(library/init): move more theorems to logic
refactor(library/init): move more theorems to logic