refactor(kernel/expr): add expr constructors, and expression equality test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>