combine formals is finished
added new formal contructor function to math and logic; some errors