Makefile: add rule for debug build
printtyp: add check to prevent stack overflow on some ill-typed input

When printing ill-typed programs while short-type is activated,
Printtyp.normalize_type_path can enter infinite loop.
Outline: dropped tokens after chunk no longer limited to 1
RFC: enable error-recovery when encountering "val" statements in implementations