check types when parsing assignments and equality operations

[fwbrasil]

Fixes #446, #200

Problem

Assignments and equality operations don't check the types of the terms.

Solution

Check types during parsing.

Checklist

• Unit test all changes
• Update README.md if applicable
• Add [WIP] to the pull request title if it's work in progress
• Squash commits that aren't meaningful changes
• Run sbt scalariformFormat test:scalariformFormat to make sure that the source files are formatted

@getquill/maintainers

[jilen]

Shall we support equality for option type like Option[Int] == Int ?

[fwbrasil]

@jilen forall should be the correct solution for this case: option.forall(_ == value), no?

[jilen]

@fwbrasil Yes, forall looks good to me

[gustavoamigo]

👍

[fwbrasil]

The build should pass now. I've removed from the readme the examples of actions that use column queries, since they don't type check. I'll open an issue to reintroduce them after option.get is supported.

[jilen]

👍

[gustavoamigo]

👍

[zifeo]

forall seems good for equality, but what about inserts or updates? When having lots of optional values, accepting Option[T] == T was a huge gain in readability. What would you suggest in order to keep this benefit?