Fix typo in hack intro

Closes #435
Use better example for constructor arg promotion

Closes #432
Remove typecheck errors in example for arrays

Closes #425