Extend mh_basic and mh_theroems packages