expression type signatures