fixed port type for unifier and optimized emit and unifier logic