type compatability, type synoyms, automatic type