Fix pattern unification to deal with #f correctly