core tetra: use correct function constructor in types of arithmetic functions