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