added terms
a first attempt at a type inferencer
wip with type inferencer