crossprod builtin, initial implementation, small fixes