tpdb-parser returns unique symbols per arity
adapt to ghc 7.6
relaxed build constraints
initial version of typing
use strings for types in inference
added Termlib.Types
added Termlib.Rewrite, renamed Substitution.match