type synonyms for function names, bound variables and free variables