add minor refinements
rename Instantiation -> HigherOrderInstantiation
minor refactoring in HO instantiation
use strict State
use satchmo-core 0.7.*
Merge branch 'master' into poly-instantiation
fix type-applications for recursive calls
add WCB_Matrix to Examples
fix type-inference for binding groups
add allocators
switch to tpdb 0.8.*