Type annotations on definitions made optional