Object types are currently quite hacky in method lookup and in the compiler. They don't include mutability information, for example, and they are not transformed like other pointer types during method lookup etc. This should be rectified so that they are basically treated like ty_evec. There are various FIXMEs for this (or there will be in the code that lands to fix #5656).

cc #5527