Perform eta expansion during promotion. Fixes #31