eliminate type errors in contact.sml