proposal solution spec started + small fixes

See individual commit titles for more info