updated test to past type-checker; marked out a FIXME: the test assumes automatic coercion from ref to contained type;
updated test to past type-checker;
marked out a FIXME: the test assumes automatic coercion from ref to contained type;

NaaS/motto,NaaS/motto