add type ascriptions