Fix parts of parser and correct the typing rules for the "fp" operator.