#178 - `self` type safety check

As of #178, additional tests to verify `self` type-safety in proxy generation