Add content to apps/theory and apps/types