cast_expr: accept builtin types only
add "Implementations" chapter