picalculus syntax and names