Fixes for synthesis.
Updated status and implementation details.