More work toward supporting complex meaning_of types.