Updated tests for #773: package-protected constructor

typechecker now changed some messages
two tests still don't pass