spec started for proposal solutions + small fixes

See commit comments for details.