genesis.
adding cmake
first drafts of what will come to be the core of munify: its implementation of the unification algorithm
further development of unify and implementation of variable substitution.
bugfix: recursive inclusion guards added
any expression wraped by atom<> is considered to be a constant for the purpose of unification
the unification algorithm is mostly done.
the next step is to implement type modifiers (*, &, const, volatile) forwarding, so to be possible to unify, for example, X* with a* using the substitution X = a.
the atom feature has proven to be real tricky to implement.
I feel it is wiser to develop the basic idea further and have it better tested before endevouring back into atoms.
critical bugfix, atoms may never hold an empty expression
removing every trace of the atom feature, so we have a clean code to work on.
relations may never be empty
testing is now a little bit less amateur
there was no need nor sense to keep unwrap_sequence public.
several bugfixes for the unification algorithm
type modifiers unwraping
breaking up the long old unify header into several new files
the more annoying, the less likely to be forgotten
organizing files better
oops, looks like I forgot to save some files before the last commit
making substitute comply with mpl's Metafunction Class concept
simplifying the implementation of substitute