Added init_type_decs to initialEnv.lem.

I copied this over from master, I don't know why it didn't arrive with
the most recent merge of master onto word8.