Add ntote introducing implicit argument list

This PR is an instantiation of the proposal made in #236.