added type notations