AN ALGEBRA FOR FINITARY ONTOLOGY OR A FUNCTIONALLY COMPLETE LANGUAGE FOR THE FINITARY THEORY OF TYPES