Try making concrete typew
Merge remote-tracking branch 'origin/master'
Ignore cyclic types.
Generate a few more types.