Add test suite for `funlogic-core`.

The tests check whether the parser, pretty printer and
`Data` inference work correctly.