Add mkNonRecLets and use it.