Add tests for implicit conversions. Rename AstImplicits to DatalogImplicits.