spec: Typecheck padding#670

RobinJadoul wants to merge 13 commits into

spec/explicit-subyetanotherco/lambda_vm:spec/explicit-subfrom

spec/typecheck-paddingyetanotherco/lambda_vm:spec/typecheck-paddingCopy head branch name to clipboard