spec: Some fixes and improvements for SHIFT#400

RobinJadoul merged 3 commits into

spec/mainyetanotherco/lambda_vm:spec/mainfrom

spec/shift-fixesyetanotherco/lambda_vm:spec/shift-fixesCopy head branch name to clipboard