Add custom theorem environments