Commit 80ef7a77 authored Mar 29, 2016 by Andreas Klöckner

Merge pull request #9 from mattwala/unifier-fixes-2

More unifier fixes.