interface: more type testing; preparation for array interfaces