Definition of the Friend Programming Language