A note on unification and Logic type