Replaces amsthm by ntheorem and adds support for cleveref