some more not-native type hints. Need to avoid nil punning in
unification of sequential types.
remove set unifiction from CLJS core.logic