added some missing fixity declarations