Typechecker forgets to check compatibility of default expressions

[jurgenvinju]

Describe the bug

We see the variable is checked, but the keyword field of the constructor is not checked, while it has the same error. Note that this is with version 0.7.8 of rascal-core, as distributed with the latests VScode extension 0.9.0 and rascal-eclipse.