add type notations