Some initial typings