List literals
Synthesis framework refactoring
Fix tests with new synthesis refactoring