i guess it looks cleaner to always use whitespace.
log when unifying types.