Extensions to theorem environments
