Basic native testing (assert), allowing java keywords as native identifiers, disallowing java keywords in module names, simplifying operator attributes in expression annotations and message shuffling