Introduce a constructor "HType" to distinguish Hakaru type statements from Maple type statements
Introduce a constructor "HType" to distinguish Hakaru type statements from Maple type statements

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru