makes, can |-> is
has, does  |-> has
Make the Frank typing rules n-ary.