Implement set unification support

This implements a simplistic approach to unifying sets.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>