Rename macro argument
Add fake methods for inferring types from collections

These may be used in `typeof()`.
Provide for-in macro with type inferring