added handling of type annotations in type inference, using the newly added supporting functions is_fully_defined_type and type_match;
added handling of type annotations in type inference, using the newly added supporting functions is_fully_defined_type and type_match;

NaaS/motto,NaaS/motto