阳明病主要分为____证和____证两大类型。